1

Maintenance of datalog materialisations revisited

Year:
2019
Language:
english
File:
PDF, 1.81 MB
english, 2019
11

A Resolution-Based Decision Procedure for(oldsymbol{mathcal{SHOIQ}})

Year:
2008
Language:
english
File:
PDF, 597 KB
english, 2008
16

A Resolution-Based Decision Procedure for(oldsymbol{mathcal{SHOIQ}})

Year:
2008
Language:
english
File:
PDF, 198 KB
english, 2008
20

Reconciling description logics and rules

Year:
2010
Language:
english
File:
PDF, 533 KB
english, 2010
23

HermiT: An OWL 2 Reasoner

Year:
2014
Language:
english
File:
PDF, 1.69 MB
english, 2014
25

Deciding expressive description logics in the framework of resolution

Year:
2008
Language:
english
File:
PDF, 294 KB
english, 2008